منابع مشابه
Witnessing Network Transformations
Software-defined networking (SDN) is transforming the way networks are managed, as fixed distributed protocols give way to flexible route calculation software. The shift brings to the forefront the issue of software errors, which may produce wrong routes, and cause significant network disruption. We propose a run-time certification mechanism that rejects any wrongly calculated route before it i...
متن کاملChildren Witnessing Family Violence
• Although family violence crosses all socio-demographic groups, there are some circumstances where violence occurs at higher rates. Households with older children, somewhat older parents, parental unemployment, low income, blended, step or single parent families, or a recent change in family structure had higher than average percentages of children exposed to adults or teenagers physically fig...
متن کاملWitnessing extinction in real time
I started my amphibian research a little like Thoreau, living alone in a cabin in the woods and recording the seasonal variation in the natural world. I lived in a shack without plumbing or electricity, an hour away from the closest house, in a cloud forest on the top of a mountain that straddled the border between Costa Rica and Panama. I scrambled along mountain streams chasing seasonal repro...
متن کاملWitnessing Program Transformations
We study two closely related problems: (a) showing that a program transformation is correct and (b) propagating an invariant through a program transformation. The second problem is motivated by an application which utilizes program invariants to improve the quality of compiler optimizations. We show that both problems can be addressed by augmenting a transformation with an auxiliary witness gen...
متن کاملWitnessing (Co)datatypes
Datatypes and codatatypes are useful for specifying and reasoning about (possibly infinite) computational processes. The interactive theorem prover Isabelle/HOL has recently been extended with a definitional package that supports both. Here we describe a complete procedure for deriving nonemptiness witnesses in the general mutually recursive, nested case—nonemptiness being a proviso for introdu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physical Review Letters
سال: 2017
ISSN: 0031-9007,1079-7114
DOI: 10.1103/physrevlett.119.080401